Понятия со словосочетанием «доказательство от противного»
Доказательство «от противного» (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Связанные понятия
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Парадокс Ябло (англ. Yablo's paradox) — это логический парадокс, похожий на парадокс лжеца. Был опубликован Стефаном Ябло в 1993 году. Важность этого парадокса в том, что, хотя он похож на парадокс лжеца и разные его варианты, этот парадокс, по крайней мере на первый взгляд, избегает самореференции. Правда, многие считают, что это только на первый взгляд, и самореференция «спрятана» внутри парадокса.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Энтимéма (др.-греч. ἐνθύμημα, от др.-греч. ἐνθύμημαι — «имею в душе») — сокращённoe умозаключение, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Подробнее: Энтимема
Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Достове́рность — термин, имеющий различные значения и применяемый в философии, теории судебных доказательств, гносеологии, логике, теории вероятностей, психологии, естествознании и других областях. Единого определения термина не существует, хотя собственное его определение пытались давать многие известные философы (Локк, Лейбниц, Фихте, Кант, Гегель и другие).
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой...
Антино́мия (др.-греч. ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от др.-греч. ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов. Термин «антиномия» был предложен...
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») — можно подразделить на...
Эмпирические данные (от др.-греч. εμπειρία «опыт») — данные, полученные через органы чувств, в частности, путём наблюдения или эксперимента. В философии после Канта полученное таким образом знание принято называть апостериорным. Оно противопоставляется априорному, доопытному знанию, доступному через чисто умозрительное мышление.
Агностици́зм (от др.-греч. ἄγνωστος — непознаваемый, непознанный) — термин в философии, теории познания и теологии. Сторонники агностицизма считают принципиально невозможным познание объективной действительности через субъективный опыт и невозможным познание любых предельных и абсолютных основ реальности. Отрицается также возможность доказательства или опровержения идей и утверждений, основанных полностью на субъективных посылах. Иногда агностицизм определяется как философское учение, утверждающее...
Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности (иногда недоказанности).
Мнимый парадокс — ложный парадокс, возникающий из-за неверного хода рассуждений.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Гипо́теза (др.-греч. ὑπόθεσις «предположение» от ὑπό «снизу, под» + θέσις «тезис») — предположение или догадка; утверждение, предполагающее доказательство, в отличие от аксиом, постулатов, не требующих доказательств. Гипотеза считается научной, если она удовлетворяет научному методу, то есть объясняет все факты, которые гипотеза призвана объяснить; не является логически противоречивой; принципиально проверяема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее...
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.
Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...
Оши́бка — непреднамеренное, забывчивое отклонение от правильных действий, поступков, мыслей, разница между ожидаемой или измеренной и реальной величиной.
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Фидеизм (от лат. fidēs — вера) — философское учение, утверждающее главенство веры над разумом и основывающееся на простом убеждении в истинах откровения. Существенной частью фидеизма является алогизм.
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным.
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Не следует путать с фальсификацией.Фальсифици́руемость (принципиальная опровержимость утверждения, опроверга́емость, крите́рий По́ппера) — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован К. Р. Поппером в 1935 году. Теория удовлетворяет критерию Поппера (является фальсифицируемой и, соответственно, научной) в том случае, если существует возможность её экспериментального или иного опровержения. Согласно этому критерию, высказывания или системы высказываний...
Подробнее: Фальсифицируемость
Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века. Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем. В конечном счете, непротиворечивость всей математики может быть сведена к простой арифметике.
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
Агностический теизм — философская позиция, объединяющая точки зрения теизма и агностицизма на существование божеств. В качестве теиста агностический теист верит, что хотя бы одно божество существует, но как агностик считает, что истинность или ложность такого предположения неизвестны либо (скорее) принципиально непознаваемы. Считается, что Кант принадлежал к этой категории (агностических) теистов.
Силлогистика (др.-греч. συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений). В силлогистике рассматриваются, например, выводы заключения из одной посылки (т. н. непосредственные умозаключения), «сложные силлогизмы», или полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание силлогистика уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида...
Подробнее: Силлогистические теории
Абсу́рд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») — нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду (доведения до абсурда) означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрывает внутренние противоречия самого положения. Приведение к абсурду — весьма распространённый приём в спорах, к которому часто любили прибегать софисты...
Онтологи́ческий аргуме́нт, или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Ка́жимость (видимость) — философская (логическая) категория, означающая превратное определение истинного бытия, основанное на чувственно-воспринимаемом, внешнем явлении предмета познания.